tree_object_directory 4,23
ABS: tree_con(E;T)

STM: tree con wf

ABS: tree_leaf(x)

ABS: Case tree_leaf(x) => body(x) cont

STM: tree leaf wf

ABS: tree_node(x)

ABS: Case tree_node(x) => body(x) cont

STM: tree node wf

origin